#include <stdio.h>
#include <time.h>

int main() {
    printf("CLOCKS_PER_SEC: %d\n", CLOCKS_PER_SEC);
    return 0;
}
